/**
 * @class Ext.app.HistoryPanel
 * @extends Ext.panel.Panel
 */
Ext.define('Ext.app.HistoryPanel', {
    extend: 'Ext.panel.Panel',
    alias: 'widget.historyPanel',
    autoScroll: true,
    border: true
});
